automated deductionの例文

例文

もっと例文:   1  2

1. In June 2012 Melvin Fitting was given the Herbrand Award by CADE, for distinguished contributions to automated deduction . }}
2. He was elected fellow of the American Association for Artificial Intelligence in 1992 and received the Herbrand Award for his contributions to automated deduction in 2002.
3. An important part of the uncertainty field is that of argumentation, where further constraints of minimality and consistency are applied on top of the more standard automated deduction.
4. Some consider the Cornell Summer meeting of 1957, which brought together a large number of logicians and computer scientists, as the origin of automated reasoning, or automated deduction.
5. Since this early work, sequent calculi, also called "'Gentzen systems "', and the general concepts relating to them, have been widely applied in the fields of proof theory, mathematical logic, and automated deduction.